; TEST-ARGS: -disallow-ub-exploitation
; SKIP-IDENTITY

define ptr @src() null_pointer_is_valid {
  %a = alloca i8
  %b = getelementptr inbounds i8, ptr %a, i8 2
  ret ptr %b
}

; ERROR: Source has guardable UB
